higher order synthesis

高阶合成